Directed Test Generation for Improved Fault Localization

نویسندگان

  • Shay Artzi
  • Julian Dolby
  • Frank Tip
  • Marco Pistoia
چکیده

Fault-localization techniques that apply statistical analyses to execution data gathered from multiple tests are quite effective when a large test suite is available. However, if no test suite is available, what is the best approach to generate one? This paper investigates the fault-localization effectiveness of test suites generated according to several test-generation techniques based on combined concrete and symbolic (concolic) execution. We evaluate these techniques by applying the Ochiai fault-localization technique to generated test suites in order to localize 35 faults in four PHP Web applications. Our results show that the test-generation techniques under consideration produce test suites with similar high fault-localization effectiveness, when given a large time budget. However, a new, “directed” test-generation technique, which aims to maximize the similarity between the path constraints of the generated tests and those of faulty executions, reaches this level of effectiveness with much smaller test suites. On average, when compared to test generation based on standard concolic execution techniques that aims to maximize code coverage, the new directed technique preserves faultlocalization effectiveness while reducing test-suite size by 86.1% and test-suite generation time by 88.6%.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Fault localization in reversible circuits is easier than for classical circuits

There is recently an interest in test generation for reversible circuits, but nothing has been published about fault localization in such circuits. This paper deals with fault localization for binary reversible (permutative) circuits. We concentrate on functional test based fault localization, to detect and locate “stuck-at” faults in a reversible circuit by creating an adaptive tree. A strikin...

متن کامل

Kavitha Ramasamy

There is recently an interest in test generation for reversible circuits, but nothing has been published about fault localization in such circuits. The paper deals with fault localization for binary permutative reversible circuits. We concentrate on functional test based fault localization, and we generate an adaptive tree that depicts those faults that can be detected and localized. A striking...

متن کامل

Identifying Coincidental Correctness for Fault Localization by Clustering Test Cases

Coverage-based fault localization techniques leverage coverage information to identify the faulty elements of a program. However, these techniques can be adversely affected by coincidental correctness, which occurs when faulty elements are executed but no failure is triggered. This paper proposes a clustering-based strategy to identify coincidental correctness. The key rationale behind this str...

متن کامل

مکان یابی خطا در شبکه توزیع با حضور منابع تولید پراکنده به روش امپدانسی با استفاده از مدل خط متوسط

In this paper, an improved impedance based method has been proposed for fault location in power distribution network with presence of photovoltaic distributed generation resources. Within this method, current and voltage are measured at the beginning of feeder and at the location of distributed generation resources. The π line model is used for improving the accuracy of the suggested method....

متن کامل

A Method of Test Generation for Path Delay Faults Using Stuck-at Fault Test Generation Algorithms

In this paper, we propose a test generation method for non-robust path delay faults using stuck-at fault test generation algorithms. In our method, we first transform an original combinational circuit into a circuit called a partial leaf-dag using path-leaf transformation. Then we generate test patterns using a stuck-at fault test generation algorithm for stuck-at faults in the partial leaf-dag...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010